#include <tinx/interrupt.h>
#include <tinx/printk.h>
#include <tinx/io.h>
#include <tinx/swap.h>
#include <tinx/syscall.h>

int sys_test()
{
    return 0;
}